Shape Heuristics in Aristotelian Diagrams

نویسندگان

  • Lorenz Demey
  • Hans Smessaert
چکیده

Aristotelian diagrams have a long and rich history in philosophical logic. Today, they are widely used in nearly all disciplines dealing with logical reasoning. Logical geometry is concerned with the theoretical study of these diagrams, from both a logical and a visual/geometrical perspective. In this paper, we argue that the concrete shape of Aristotelian diagrams can be of great heuristic value in logical geometry. A diagram’s shape can be used to visually represent certain logical properties and relations, and hence, through its shape, the diagram can help us to better understand these properties and relations and reason about them. These claims are explained and illustrated by means of a series of examples, consisting mainly of (i) Aristotelian diagrams that represent an entire Boolean algebra of formulas, and (ii) complementarities between Aristotelian diagrams.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation

Aristotelian diagrams visualize the logical relations among a finite set of objects. These 1 diagrams originated in philosophy, but recently they have also been used extensively in artificial 2 intelligence, in order to study (connections between) various knowledge representation formalisms. 3 In this paper we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical ...

متن کامل

Metalogical Decorations of Logical Diagrams

In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of (sub)contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for ...

متن کامل

Logical Geometries and Information in the Square of Oppositions

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, ...

متن کامل

Building Digital Ink Recognizers Using Data Mining: Distinguishing between Text and Shapes in Hand Drawn Diagrams

The low accuracy rates of text-shape dividers for digital ink diagrams are hindering their use in real world applications. While recognition of handwriting is well advanced and there have been many recognition approaches proposed for hand drawn sketches, there has been less attention on the division of text and drawing. The choice of features and algorithms is critical to the success of the rec...

متن کامل

Crystal size and shape distributions plagioclase and determining of crystal residence time in the Chah-Musa intrusion (South Shahrood)

Considering the importance of plagioclase in reconstructing magma cooling processes, the size and shape distribution of this mineral is investigated for Chah - Musa sub-volcanic intrusion (NW Toroud- Semnan Province). The slopes of CSD diagrams, the natural logarithm of the density of the crystalline density (n) against the length of the crystal (L), show plagioclase phenocrysts available in th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015